Modular programming languages (7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006)Lightfoot, David; Szyperski, Clemens.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-40927-0, 1Vol, X-414 p, isbn 3-540-40927-0Conference Proceedings

Termination is not modular for confluent variable-preserving term rewriting systemsOHLEBUSCH, E.Information processing letters. 1995, Vol 53, Num 4, pp 223-228, issn 0020-0190Article

The DBPL project advances in modular database programmingSCHMIDT, J. W; MATTHES, F.Information systems (Oxford). 1994, Vol 19, Num 2, pp 121-140, issn 0306-4379Article

A smart local moving algorithm for large-scale modularity-based community detectionWALTMAN, Ludo; VAN ECK, Nees Jan.The European physical journal. B, Condensed matter physics (Print). 2013, Vol 86, Num 11, issn 1434-6028, 471.1-471.14Article

Die Programmiersprache Pascal-XT, ein Weg zur modularen Programmierung = The programming language Pascal-XT, a way to modular programmingMITTENDORF, H; WENZ, A.Automatisierungstechnische Praxis. 1990, Vol 32, Num 1, pp 30-37, issn 0178-2320, 8 p.Article

A simple technique for automatic recompilation in modular programming languagesOLSSON, R. A; WHITEHEAD, G. R.Software, practice & experience. 1989, Vol 19, Num 8, pp 757-773, issn 0038-0644Article

Non-dependent types for Standard ML modulesRUSSO, C. V.Lecture notes in computer science. 1999, pp 80-97, issn 0302-9743, isbn 3-540-66540-4Conference Paper

Mixin modules in a call-by-value settingHIRSCHOWITZ, Tom; LEROY, Xavier.Lecture notes in computer science. 2002, pp 6-20, issn 0302-9743, isbn 3-540-43363-5Conference Paper

Modular programming languages (Zurich, 6-8 September 2000)Gutknecht, Jürg; Weck, Wolfgang.Lecture notes in computer science. 2000, issn 0302-9743, isbn 3-540-67958-8, XII, 298 p, isbn 3-540-67958-8Conference Proceedings

Stand-alone messages: A step towards component-oriented programming languagesFRÖHLICH, P. H; FRANZ, M.Lecture notes in computer science. 2000, pp 90-103, issn 0302-9743, isbn 3-540-67958-8Conference Paper

Modular class analysis with DATALOGBESSON, Frédéric; JENSEN, Thomas.Lecture notes in computer science. 2003, pp 19-36, issn 0302-9743, isbn 3-540-40325-6, 18 p.Conference Paper

Modular specification and verification of object-oriented programsMüller, Peter.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-43167-5, XIV, 292 p, isbn 3-540-43167-5Book

A technique for modular logic program refinementCOLVIN, Robert; HAYES, Ian; STROOPER, Paul et al.Lecture notes in computer science. 2001, Vol 2042, pp 38-56, issn 0302-9743, isbn 3-540-42127-0Conference Paper

Termination transformation by tree lifting orderingAOTO, T; TOYAMA, Y.Lecture notes in computer science. 1998, pp 256-270, issn 0302-9743, isbn 3-540-64301-XConference Paper

The MODUSIM concept for modular modeling and simulation in Chemical EngineeringDIETERICH, E. E; EIGENBERGER, G.Computers & chemical engineering. 1997, Vol 21, pp S805-S809, issn 0098-1354, SUPConference Paper

The PALM project : MPMD paradigm for an oceanic data assimilation softwareFOUILLOUX, A; PIACENTINI, A.Lecture notes in computer science. 1999, pp 1423-1430, issn 0302-9743, isbn 3-540-66443-2Conference Paper

Modularity of termination using dependency pairsARTS, T; GIESL, J.Lecture notes in computer science. 1998, pp 226-240, issn 0302-9743, isbn 3-540-64301-XConference Paper

Object oriented programming of the finite element methodMACKIE, R. I.International journal for numerical methods in engineering. 1992, Vol 35, Num 2, pp 425-436, issn 0029-5981Article

LMAC : un ensemble d'outils logiciels pour la productique = LMAC : Softwore tools for producticsCAGNASSO, Flora; MAURAT, Alain.1986, 246 pThesis

Event-based programming without inversion of controlHALLER, Philipp; ODERSKY, Martin.Lecture notes in computer science. 2006, pp 4-22, issn 0302-9743, isbn 3-540-40927-0, 1Vol, 19 p.Conference Paper

Initiation à la programmation avec SchemeBloch, Laurent; Arsac, Jacques.2001, isbn 2-7108-0795-5, XI, 227 p, isbn 2-7108-0795-5Book

Finitary observations in regular algebrasLASOTA, Slawomir.Lecture notes in computer science. 2000, pp 402-410, issn 0302-9743, isbn 3-540-41348-0Conference Paper

A primitive calculus for module systemsANCONA, D; ZUCCA, E.Lecture notes in computer science. 1999, pp 62-79, issn 0302-9743, isbn 3-540-66540-4Conference Paper

Exceptions considered harmlessMONIN, J.-F.Science of computer programming. 1996, Vol 26, Num 1-3, pp 179-196, issn 0167-6423Conference Paper

Modularity and reusability in attribute grammarsKASTENS, U; WAITE, W. M.Acta informatica. 1994, Vol 31, Num 7, pp 601-627, issn 0001-5903Article